floxdel Null/knockout http://identifiers.org/mgd/MGI:2148569 Ctnnb1<tm2.1Kem> beta-catenin<del> Ctnnb1<Del> MGI:2148569 targeted mutation 2.1 Rolf Kemler